『Relaxed Memory Models: an Operational Approach』

1. どんなもの？

データレースが起きないようなメモリ操作ができるメモリモデルでかつ、プログラミング言語で利用できるようなものを作った話

2. 先行研究と比べてどこがすごい？

3. 技術や手法のキモはどこ？

4. どうやって有効だと検証した？

5. 議論はある？

6. 次に読むべき論文は？

============================

DRF(Data-Races Free)

データ競合が起こらないこと

table:訳